首页> 外文OA文献 >On the Complexity of Temporal-Logic Path Checking⋆

【2h】

On the Complexity of Temporal-Logic Path Checking⋆

机译：论时态逻辑路径检验的复杂性⋆

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Daniel Bundala;
展开▼
作者单位

展开▼
年度 2016
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Optimal path planning for surveillance with temporal-logic constraints* [J] . Stephen L Smith, Jana Tumova, Calin Belta, The International journal of robotics research . 2011,第14期

机译：具有时间逻辑约束的监视的最佳路径规划*
2. Complexity analysis of a unifying algorithm for model checking interval temporal logic [J] . Laura Bozzelli, Angelo Montanari, Adriano Peron Information and computation . 2021,第Octa期

机译：模型检查间隔时间逻辑统一算法的复杂性分析
3. The complexity of checking the polynomial completeness of finite quasigroups [J] . Galatenko Aleksey V., Pankratiev Anton E. Discrete mathematics and applications . 2020,第3期

机译：检查有限Quasigroups多项式完整性的复杂性
4. On the Complexity of Temporal-Logic Path Checking [C] . Daniel Bundala, Joeel Ouaknine International colloquium on automata, languages and programming . 2014

机译：时间逻辑路径检查的复杂性
5. Low-density parity-check codes with reduced decoding complexity. [D] . Smith, Benjamin. 2007

机译：具有降低的解码复杂度的低密度奇偶校验码。
6. Path Integration: Effect of Curved Path Complexity and Sensory System on Blindfolded Walking [O] . Panagiotis Koutakis, Mukul Mukherjee, Srikant Vallabhajosula, -1

机译：路径集成：弯曲路径复杂性和感觉系统对蒙帘的效果
7. On the Complexity of Temporal-Logic Path Checking [O] . Bundala, Daniel, Ouaknine, Joël 2014

机译：论时态逻辑路径检验的复杂性
8. Probabilistic Complexity of Numerically Checking the Binary Goldbach Conjecture in Certain Intervals. Modelling, Analysis and Simulation. [R] . Deshouillers, J. M., te Riele, H. J. J. 1998

机译：在某些区间数值检验二元Goldbach猜想的概率复杂性。建模，分析和模拟。

代理获取

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号